Elements of DESCRIPTIVE SET THEORY Spring 2013
نویسنده
چکیده
In these notes we go through the very basic results from descriptive set theory. In our approach to the topic, the use of games is more explicit than what is usual in the literature. We do not assume any previous knowledge on set theory nor on first-order logic. For the history of the topic, see [Mo] (Borel* sets are due to D. Blackwell and Vaught codes are due to R. Vaught). For further reading [Ke] is recommended.
منابع مشابه
Numerical Analysis of Melting Process of Compounds Containing Nanoparticles for the Development of Phase Change Process
In this work, the melting process of compounds containing nanoparticles of NePCM in a square hole with different angles affected by two pairs of well-spring heat source on horizontal walls was numerically investigated. Four different configurations of elements were employed to investigate the effect of changes in the position of elements on the horizontal walls of the well-spring landscape on t...
متن کاملTowards Synthetic Descriptive Set Theory: An instantiation with represented spaces
Using ideas from synthetic topology, a new approach to descriptive set theory is suggested. Synthetic descriptive set theory promises elegant explanations for various phenomena in both classic and effective descriptive set theory. Presently, we mainly focus on developing the ideas in the category of represented spaces.
متن کاملQuasi-Polish Spaces
We investigate some basic descriptive set theory for countably based completely quasi-metrizable topological spaces, which we refer to as quasi-Polish spaces. These spaces naturally generalize much of the classical descriptive set theory of Polish spaces to the non-Hausdorff setting. We show that a subspace of a quasi-Polish space is quasi-Polish if and only if it is Π2 in the Borel hierarchy. ...
متن کاملNear Sets: An Introduction
This article gives a brief overview of near sets. The proposed approach in introducing near sets is to consider a set theory-based form of nearness (proximity) called discrete proximity. There are two basic types of near sets, namely, spatially near sets and descriptively near sets. By endowing a nonempty set with some form of a nearness (proximity) relation, we obtain a structured set called a...
متن کاملResults in descriptive set theory on some represented spaces
Descriptive set theory was originally developed on Polish spaces. It was later extended to $\omega$-continuous domains [Selivanov 2004] and recently to quasi-Polish spaces [de Brecht 2013]. All these spaces are countably-based. Extending descriptive set theory and its effective counterpart to general represented spaces, including non-countably-based spaces has been started in [Pauly, de Brecht ...
متن کامل